insert(${\it eq}$; $a$; $L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$if deq{-}member(${\it eq}$; $a$; $L$) then $L$ else cons($a$; $L$) fi